Mechanically correct representation]